Demostración de las premisas lógicas